// DFAState.java
import java.util.*;

public class DFAState {
    Set<String> nfaStates = new HashSet<>();
    String stateName = "";
}
